match () with
| [ 1
    2 ] -> ()
